Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
111	Lecture 17 - Zero Knowledge Proofs Boaz Barak April 5, 2010 Review connections between: pseudorandom generators, one-way functions, pseudorandom functions, CPA secure symmetric encryption, message authentication codes, C Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-04-05 00:17:40 Computational complexity theory Zero-knowledge proof Proof of knowledge IP Soundness NP Quadratic residue Probabilistic method Mathematical proof Theoretical computer science Cryptography Cryptographic protocols
112	WE KNOW WHAT YOU’RE SEARCHING FOR. In a world of unlimited recipe choices, Allrecipes magazine sifts through and serves up the best from Allrecipes.com, the world’s largest online community of cooks. Combining our di Add to Reading List Source URL: meredithdirectmedia.com Language: English - Date: 2014-10-14 15:23:14 Graphic design Mad Mathematical proof Publishing Knowledge Communication Satire Advertising Communication design
113	WE KNOW WHAT YOU’RE SEARCHING FOR. In a world of unlimited recipe choices, Allrecipes magazine sifts through and serves up the best from Allrecipes.com, the world’s largest online community of cooks. Combining our di Add to Reading List Source URL: www.meredithtm.com Language: English - Date: 2014-11-05 10:13:02 Graphic design Mad Mathematical proof Publishing Knowledge Communication Satire Advertising Communication design
114	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling
115	Chalk: Materials and Concepts in Mathematics Research Michael J. Barany∗ Donald MacKenzie† Add to Reading List Source URL: www.sps.ed.ac.uk Language: English - Date: 2011-09-05 09:29:08 Mathematician Mathematical proof Mathematical practice Mathematical logic Mathematics education Mathematics Philosophy of mathematics Knowledge
116	What Planning Can Do for Formal Methods Andrew Ireland Maria Teresa Llano School of Mathematical & Computer Sciences Heriot-Watt University Gudmund Grov School of Informatics Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Formal methods Management Problem solving Project management Unidad de Operaciones Especiales Scientific modelling Planning Mathematical proof Science Thought Mind
117	Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-04-22 20:29:48 Verifiable secret sharing Gödel Prize Interactive proof system Claude Crépeau Pseudorandom function family Probabilistic encryption Oblivious transfer Zero-knowledge proof Provable security Cryptography Cryptographic protocols Silvio Micali
118	Productive use of failure in formal methods Yuhui Lin CIAO/Automatheowww.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical logic Mathematical proof Formal methods Theorem OPOS Logic Mathematics Knowledge
119	The use of AI to support top-down formal system development Gudmund Grov University of Edinburgh, UK Joint work with: Alan Bundy, Andrew Ireland, Cliff Jones, Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Abstraction Mathematical logic Mathematical proof Knowledge
120	Capturing & Inferring the Proof Process Leo Freitas School of Computing Science Newcastle University, UK with contributions from AI4FM members Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Management Workflow Mathematical proof Knowledge Epistemology Workflow technology Mathematical logic Groupware

UPDATE